BooleanMaxterms

BooleanMaxterms[k,n] represents the kth maxterm in n variables.

BooleanMaxterms[{k1,k2,…},n] represents the conjunction of the maxterms ki.

BooleanMaxterms[{{u1,…,un},{v1,…},…}] represents the conjunction of maxterms given by the exponent vectors ui, vi, ….

BooleanMaxterms[spec,{a1,a2,…}] gives the Boolean expression in variables ai corresponding to the maxterms function specified by spec.

BooleanMaxterms[spec,{a,a2,…},form] gives the Boolean expression in the form specified by form.

Please visit the official Wolfram Language Reference for more details and examples on core symbols.